Skip to content

chore(deps): aggregate core dependabot updates - #930

Merged
burtenshaw merged 3 commits into
mainfrom
codex/dependabot-core-2026-07-07
Jul 8, 2026
Merged

chore(deps): aggregate core dependabot updates#930
burtenshaw merged 3 commits into
mainfrom
codex/dependabot-core-2026-07-07

Conversation

@burtenshaw

Copy link
Copy Markdown
Collaborator

Summary

Aggregates the open non-env Dependabot workflow updates into one maintainer-owned PR.

Included single PRs:

Changed paths:

  • .github/workflows/upload_pr_documentation.yml
  • .github/workflows/build_pr_documentation.yml
  • .github/workflows/build_documentation.yml

Validation

  • git diff --check hf/main...HEAD

No src/ files or Python dependency files are changed, so the core unit/integration test path was not run locally for this workflow-only rollup.

@bot-ci-comment

bot-ci-comment Bot commented Jul 7, 2026

Copy link
Copy Markdown

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

dependabot Bot added 3 commits July 7, 2026 09:06
…_documentation.yml

Bumps [huggingface/doc-builder/.github/workflows/upload_pr_documentation.yml](https://github.com/huggingface/doc-builder) from bcff59fca682130d2e7271ca8589911b7ac0b8bf to 7e6bd45ee271b96e75484eeafea1b3e6139cd0c7.
- [Release notes](https://github.com/huggingface/doc-builder/releases)
- [Commits](huggingface/doc-builder@bcff59f...7e6bd45)

---
updated-dependencies:
- dependency-name: huggingface/doc-builder/.github/workflows/upload_pr_documentation.yml
  dependency-version: 7e6bd45ee271b96e75484eeafea1b3e6139cd0c7
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
…documentation.yml

Bumps [huggingface/doc-builder/.github/workflows/build_pr_documentation.yml](https://github.com/huggingface/doc-builder) from bcff59fca682130d2e7271ca8589911b7ac0b8bf to 7e6bd45ee271b96e75484eeafea1b3e6139cd0c7.
- [Release notes](https://github.com/huggingface/doc-builder/releases)
- [Commits](huggingface/doc-builder@bcff59f...7e6bd45)

---
updated-dependencies:
- dependency-name: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml
  dependency-version: 7e6bd45ee271b96e75484eeafea1b3e6139cd0c7
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
…n_documentation.yml

Bumps [huggingface/doc-builder/.github/workflows/build_main_documentation.yml](https://github.com/huggingface/doc-builder) from bcff59fca682130d2e7271ca8589911b7ac0b8bf to 7e6bd45ee271b96e75484eeafea1b3e6139cd0c7.
- [Release notes](https://github.com/huggingface/doc-builder/releases)
- [Commits](huggingface/doc-builder@bcff59f...7e6bd45)

---
updated-dependencies:
- dependency-name: huggingface/doc-builder/.github/workflows/build_main_documentation.yml
  dependency-version: 7e6bd45ee271b96e75484eeafea1b3e6139cd0c7
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@burtenshaw
burtenshaw force-pushed the codex/dependabot-core-2026-07-07 branch from a6dd94d to 281405f Compare July 7, 2026 07:06

@cursor cursor Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Alignment Review Report

This PR aggregates the three huggingface/doc-builder reusable-workflow SHA bumps (previously split as #927/#928/#929), moving all three doc workflows from bcff59f7e6bd45. The bump itself is correct and beneficial, but the branch is now stale vs main and will not merge cleanly — see Tier 1.

Automated Checks

  • Lint: PASS (for this PR's scope). lint.sh exits non‑zero, but every flagged path is a pre‑existing envs/ reformat candidate (opencode_env, chat_env, coding_tools_env, …). This PR changes 0 .py files and YAML isn't linted, so it introduces no new lint issues.
  • Debug code: CLEAN (for this PR's scope). check-debug.sh only lists pre‑existing src/ prints/TODOs; zero are in changed files (no .py touched).

Open RFCs Context

RFCs 000–003 & 005 are In Review, 010 is Draft, 004 has no status header. All cover the runtime env/agent design (project phases, abstractions, env‑spec, MCP, rubrics/rewards, agentic harnesses, token world‑model). None cover CI, GitHub Actions, the docs‑build pipeline, or dependency management — so none are relevant here.

Tier 1: Fixes Required

  • Stale branch — 3‑way merge conflict with main (needs a rebase; not auto‑fixable from a review run). ~39s after this PR opened (07:02:31Z), #923 ("Make doc builds faster", merged 07:03:10Z) advanced build_documentation.yml and build_pr_documentation.yml to e60a538 — which is the direct parent of this PR's 7e6bd45. Because both sides edit the same uses: pin line from the old bcff59f, git merge-tree origin/main <head> reports CONFLICT (content) in both files. upload_pr_documentation.yml still merges cleanly (main left it at bcff59f).
    • Note: GitHub's mergeability currently shows MERGEABLE/CLEAN, but that is a stale cache from the 39‑second window before #923 landed; it will flip to conflicting once GitHub recomputes.
    • Resolution: rebase codex/dependabot-core-2026-07-07 onto current main and keep 7e6bd45 on all three uses: lines. That's a clean +1‑commit forward move for the two build workflows and +9 for upload, and it also fixes the skew #923 left on main (build/build_pr @ e60a538, upload @ bcff59f) by unifying all three at the doc‑builder main tip. (Owner of .github/ + dependabot config: @burtenshaw.)

Tier 2: Alignment Discussion

Principle Conflicts

None identified. The changed surface is CI‑only. Full‑SHA pinning + dependabot freshness aligns with the "container isolation for reproducibility and security" principle (.claude/docs/PRINCIPLES.md:15).

RFC Conflicts

None identified.

Verification (positive signals)

  • New SHA legitimate: 7e6bd45 is a real doc‑builder commit (mishig25, doc‑builder #803), is identical to doc‑builder's main tip, sits 9 ahead / 0 behind bcff59f, and is still a full 40‑char SHA (no tag/branch downgrade).
  • Caller contract unchanged: the only delta over e60a538 (which main already runs on the build workflows) is mock_deps/openenv.txt — it adds tomli for OpenEnv's own light doc build. No reusable‑workflow input/secret change, so the bump is interface‑safe and directly benefits OpenEnv's docs. Secrets still passed via secrets.* (no credential exposure).

Summary

  • 1 mechanical issue — stale branch → rebase to resolve the merge conflict with #923 (underlying bump is correct).
  • 0 alignment points for human review.
  • 0 RFC conflicts.
Open in Web View Automation 

Sent by Cursor Automation: Pre-review

jobs:
build:
uses: huggingface/doc-builder/.github/workflows/build_main_documentation.yml@e60a538eea9817ab312196d0d233604b01697265 # main
uses: huggingface/doc-builder/.github/workflows/build_main_documentation.yml@7e6bd45ee271b96e75484eeafea1b3e6139cd0c7 # main

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Merge conflict with main. #923 ("Make doc builds faster", merged ~39s after this PR opened) already advanced this pin to e60a538, the direct parent of 7e6bd45. Since this PR re-pins the same line from the old bcff59f, a 3-way merge conflicts here — git merge-tree origin/main <head> confirms CONFLICT (content). (GitHub's current mergeable flag is a stale cache from before #923 landed.)

Rebase onto current main and keep 7e6bd45 — it's a clean +1-commit forward move (doc-builder #803, which adds tomli for OpenEnv's own doc build).

build:
if: github.event.pull_request.draft == false
uses: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml@e60a538eea9817ab312196d0d233604b01697265 # main
uses: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml@7e6bd45ee271b96e75484eeafea1b3e6139cd0c7 # main

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same conflict as build_documentation.yml: main (via #923) is already at e60a538 here, so re-pinning bcff59f7e6bd45 conflicts on merge. Rebase and keep 7e6bd45.

jobs:
build:
uses: huggingface/doc-builder/.github/workflows/upload_pr_documentation.yml@bcff59fca682130d2e7271ca8589911b7ac0b8bf # main
uses: huggingface/doc-builder/.github/workflows/upload_pr_documentation.yml@7e6bd45ee271b96e75484eeafea1b3e6139cd0c7 # main

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This one merges cleanly#923 didn't touch upload, so main is still at bcff59f. Clean +9-commit forward bump to doc-builder's main tip (7e6bd45); after rebase, all three pins re-unify at the same SHA.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

codex codex-automation Dependencies enhancement New feature or request github_actions Pull requests that update GitHub Actions code size: small Small pull request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant